Mizuhito Ogawa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 10th International Conference on Knowledge and Systems Engineering (KSE) - Ho Chi Minh City, Vietnam (2018.11.1-2018.11.3)] 2018 10th International Conference on Knowledge and Systems Engineering (KSE) - Comparison of Three Deep Learning-based Approaches for IoT Malware Detection

Nguyen, Khanh Duy Tung, Tuan, Tran Minh, Le, Son Hai, Viet, Anh Phan, Ogawa, Mizuhito, Minh, Nguyen Le

Year:

2018

Language:

english

File:

PDF, 309 KB

english, 2018

2

An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java

Xin Li, Mizuhito Ogawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 547 KB

english, 2009

3

raSAT: an SMT solver for polynomial constraints

Tung, Vu Xuan, Van Khanh, To, Ogawa, Mizuhito

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 2.44 MB

english, 2017

4

Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

Masahiko Sakai, Mizuhito Ogawa

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 190 KB

english, 2010

5

Well-quasi-orders and regular ω-languages

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 195 KB

english, 2004

6

Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem

Ken Mano, Mizuhito Ogawa

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 346 KB

english, 2001

7

Call-by-Need Reduction for Membership Conditional Term Rewriting Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.05 MB

english, 2003

8

Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 325 KB

english, 2001

9

A linear time algorithm for monadic querying of indefinite data over linearly ordered domains

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 269 KB

english, 2003

10

SMT for Polynomial Constraints on Real Numbers

Van Khanh, To, Ogawa, Mizuhito

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 405 KB

english, 2012

11

[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - SAT and SMT: Their Algorithm Designs and Applications

Ogawa, Mizuhito, Khanh, To Van

Year:

2013

Language:

english

File:

PDF, 218 KB

english, 2013

12

[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - A Hybrid Approach for Control Flow Graph Construction from Binary Code

Minh Hai Nguyen,, Thien Binh Nguyen,, Thanh Tho Quan,, Ogawa, Mizuhito

Year:

2013

Language:

english

File:

PDF, 360 KB

english, 2013

13

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Overflow and Roundoff Error Analysis via Model Checking

Ngoc, Do Thi Bich, Ogawa, Mizuhito

Year:

2009

Language:

english

File:

PDF, 531 KB

english, 2009

14

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Checking roundoff errors using counterexample-guided narrowing

Ngoc, Do Thi Bich, Ogawa, Mizuhito

Year:

2010

Language:

english

File:

PDF, 410 KB

english, 2010

15

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - Iterative-free program analysis

Ogawa, Mizuhito, Hu, Zhenjiang, Sasano, Isao

Year:

2003

Language:

english

File:

PDF, 233 KB

english, 2003

16

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - Preface

Ho Tu Bao,, Piuri, Vincenzo, Nguyen Thanh Thuy,, Ogawa, Mizuhito

Year:

2013

Language:

english

File:

PDF, 107 KB

english, 2013

17

Iterative-free program analysis

Ogawa, Mizuhito, Hu, Zhenjiang, Sasano, Isao

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 233 KB

english, 2003

18

Associative Search on Shogi Game Records

Viriyayudhakorn, Kobkrit, Ogawa, Mizuhito

Journal:

IPSJ Online Transactions

Year:

2011

Language:

english

File:

PDF, 3.22 MB

english, 2011

19

On-the-fly Model Checking of Security Protocols and Its Implementation by Maude

Li, Guoqiang, Ogawa, Mizuhito

Journal:

IPSJ Digital Courier

Year:

2007

Language:

english

File:

PDF, 364 KB

english, 2007

20

Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata

Tang, Nguyen Van, Ogawa, Mizuhito

Journal:

IPSJ Online Transactions

Year:

2008

Language:

english

File:

PDF, 306 KB

english, 2008

21

[ACM Press the 7th Software Security, Protection, and Reverse Engineering / Software Security and Protection Workshop - Orlando, FL, USA (2017.12.05-2017.12.06)] Proceedings of the 7th Software Security, Protection, and Reverse Engineering / Software Security and Protection Workshop on - SSPREW-7 - Packer identification based on metadata signature

Hai, Nguyen Minh, Ogawa, Mizuhito, Tho, Quan Thanh

Year:

2017

Language:

english

File:

PDF, 416 KB

english, 2017

22

[IEEE 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Shanghai, China (2016.7.17-2016.7.19)] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Termination and Boundedness for Well-Structured Pushdown Systems

Lei, Suhua, Cai, Xiaojuan, Ogawa, Mizuhito

Year:

2016

Language:

english

File:

PDF, 438 KB

english, 2016